Reactive Programming in Eiiel
نویسندگان
چکیده
This paper presents how asynchronous reactive programming can be achieved in the Eiiel// language. Our approach makes use of some reeection available in the language and is based on a speciic communication semantics. We present some reactive abstractions that can be programmed with this mechanism and illustrate their use. The technique we developed makes it possible to transform a sequential system of objects into a reactive one. A tape-recorder example illustrates the programming technique.
منابع مشابه
An Operational Semantics for the Eiffel// Language
This paper formally describes the dynamic semantic of the Eiiel// language (Eiiel parallel). Eiiel// is a parallel extension of Eiiel language based on passive and active objects, asynchronous communication and wait-by-necessity. In this semantics we use formal speciications of inheritance and dynamic binding which we have deened in Natural Semantics for the Eiiel language. While in the framewo...
متن کاملFLOO: A Strong Coupling Between Eiffel Language and 02 DBMS
This paper presents a model of persistency for the Eiiel language and its implementation by FLOO system. This model supports in a transparent way a \contagious" and incremental handling of persistency within a transactional framework. After having deened the context and the constraints of the modelization which had been retained, we present main characteristics of the model which is implemented...
متن کاملFrom a Speci cation to an Equivalence Proof in Object-Oriented Parallelism
We investigate the use of a TLA speciication for modeling and proving parallelization within an object-oriented language. Our model is based on Eiiel== a parallel extension of Eiiel, where sequential programs can be reused for parallel or concurrent programming with very minor changes. We want to prove that both versions of a given program (sequential and parallel) are equivalent with respect t...
متن کاملLanguage Processor Construction : The Case for YOOCC
Enhancing the ISE Eiiel Parse library enabled us to develop YOOCC (Yes! An OO Compiler Compiler) and TROOPER (Truly Reusable OO Parser for Eiiel Re-engineering) written entirely in Eiiel. It is concluded that not only do these tools allow typical users to develop processors 1 without being concerned with the intricacies behind processor construction, but they signii-cantly contribute towards br...
متن کاملA Quality Assistant for Object-Oriented Software Design Processes
In Object-Oriented system development, a class deenition is the end product of a design process. The class does not normally hold information regarding its design history. Merging documentation and software into a single entity is regarded as important in O-O languages such as Eiiel and it is possible to include the documentation using the assertion mechanisms and comment statements. But Eiiel ...
متن کامل